The partial clone of linear formulas

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Linear Formulas in Continuous Logic

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

متن کامل

Affinization of Segre products of partial linear spaces

Hyperplanes and hyperplane complements in the Segre product of partial linear spaces are investigated. The parallelism of such a complement is characterized in terms of the point-line incidence. Assumptions, under which the automorphisms of the complement are the restrictions of the automorphisms of the ambient space, are given. An affine covering for the Segre product of Veblenian gamma spaces...

متن کامل

Partial Satisfaction of k-Satisfiable Formulas

A CNF formula is called k-satisfiable, if every subformula containing at most k clauses is satisfiable. What is the largest ratio r such that for any ksatisfiable formula F , there is an assignment satisfying at least a fraction r of F ? This question can be asked for formulas with weighted and formulas with unweighted clauses. For weighted k-satisfiable formulas, denote that ratio by rk. For u...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Sibirskii matematicheskii zhurnal

سال: 2019

ISSN: 0037-4474

DOI: 10.33048/smzh.2019.60.403